Towards tool support for design patterns using program transformations

Design patterns have greatly helped spreading a limited number of well-tried solutions to recurring object-oriented problems. But as new patterns are introduced at a steady rate, the concept must evolve so that tools can help programmers not to be lost, facing a host of patterns. In this paper, we propose that design patterns be systematically analyzed and reformulated to exhibit a reasoning binding solutions to precisely stated problems, given a set of mechanisms. We show on some creational patterns how these mechanisms can be described as program transformations and how an assistant tool could systematically explore the set of potential solutions induced by these transformations. This would both help the selection and the instantiation of the appropriate patterns. NOTE. — This paper is an improved and at least twice longer version of [ZIA 00]. RÉSUMÉ. Les modèles de conception ont largement participé à la diffusion de solutions éprouvées à des problèmes récurrents de conception et de programmation à objets. Pourtant le concept doit à présent évoluer pour que les programmeurs puissent gérer le nombre croissant de ces modèles. Dans ce papier nous proposons que les modèles de conception soient systématiquement analysés et reformulés pour exhiber un raisonnement liant les solutions à des problèmes décrit précisément, étant donné un ensemble de mécanismes. Nous montrons sur certains modèles créateurs comment ces mécanismes peuvent être décrits comme des transformations de programmes et comment un outil d'assistance pourrait systématiquement explorer l'ensemble des solutions possibles induit par ces transformations. Ceci faciliterait la sélection mais aussi l'instanciation des modèles appropriés.